(assert (and true))
